Constraint graph - PDFSEARCH.IO - Document Search Engine

Constraint graph
Results: 103

#	Item
11	Maximizing Submodular Set Function with Connectivity Constraint: Theory and Application to Networks Tung-Wei Kuo† ‡ , Kate Ching-Ju Lin† , and Ming-Jer Tsai‡ † Research Center for Information Technology Innova Add to Reading List Source URL: nms.citi.sinica.edu.tw Language: English - Date: 2013-02-26 21:19:15 Mathematics Graph theory Computational complexity theory Combinatorial optimization Submodular set function Edsger W. Dijkstra NP-complete problems Algorithm Shortest path problem HeldKarp algorithm Dominating set
12	Introduction to AlgorithmsLecture 17 Prof. Piotr Indyk Add to Reading List Source URL: courses.csail.mit.edu Language: English - Date: 2011-04-21 12:43:21 Graph theory Mathematics Edsger W. Dijkstra Constraint graph Electronic design Shortest path problem Constraint programming Routing algorithms
13	A Constraint Language for Static Semantic Analysis Based on Scope Graphs Hendrik van Antwerpen Pierre Néron Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2015-12-19 13:32:20 Constraint programming Scope Name resolution Constraint satisfaction ALGOL 68 Declaration Constraint graph
14	Interference Constraint Graph – A New Specification for Mixed-Criticality Systems Pengcheng Huang, Pratyush Kumar, Nikolay Stoimenov, Lothar Thiele Computer Engineering and Networks Laboratory, ETH Zurich, 8092 Zurich, Add to Reading List Source URL: www.tik.ethz.ch Language: English - Date: 2014-10-27 19:56:40 Real-time computing Scheduling algorithms Scheduling Safety engineering Systems engineering Technology Mixed criticality Systems science Computing Fixed-priority pre-emptive scheduling Worst-case execution time Windows Task Scheduler
15	Santini_Francesco_SR_INRIA Add to Reading List Source URL: fellowship.ercim.eu Language: English - Date: 2015-06-30 09:13:31 Declarative programming Constraint programming Software engineering Theoretical computer science Programming paradigms Graph theory Constraint logic programming Logic programming Graph rewriting Graph
16	Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS ∗ Feng Niu Add to Reading List Source URL: www.cs.stanford.edu Language: English - Date: 2013-07-22 00:25:35 Constraint programming Automated theorem proving Theoretical computer science Mathematics Mathematical logic Markov logic network WalkSAT Graph partition Nibbles Local search Resolution Alchemy
17	September 20, :54 WSPC - Proceedings Trim Size: 9.75in x 6.5in Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2008-01-07 20:56:23 Graph theory Mathematics Constraint programming Matroid theory Ear decomposition Graph Spanning tree Decomposition method Local consistency
18	eTaSL/eTC: A constraint-based Task Specification Language and Robot Controller using Expression Graphs Erwin Aertbeli¨en and Joris De Schutter Abstract— This paper presents a new framework for constraint-based task sp Add to Reading List Source URL: www.factory-in-a-day.eu Language: English - Date: 2015-03-26 05:06:07 Computer programming Mathematical optimization Constraint satisfaction Operations research Quadratic programming Slack variable Ada Constraint Composite Graph Constraint logic programming Constraint programming Software engineering Computing
19	Semantic Acyclicity on Graph Databases Pablo Barceló Miguel Romero Moshe Vardi Add to Reading List Source URL: users.dcc.uchile.cl Language: English - Date: 2013-04-07 12:16:44 Database theory Decomposition method Theoretical computer science Directed graph Structure Mathematical logic Constraint programming Mathematics Conjunctive query
20	VOLT 2014 Workshop Report Moussa Amrani1 , Eugene Syriani2 , Manuel Wimmer3 , Robert Bill3 , Martin Gogolla4 , Frank Hermann5 , and Kevin Lano6 1 University of Namur, Belgium Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-03 03:08:26 Software Graph rewriting VIATRA Formal methods Logic in computer science Object Constraint Language Model transformation language Kermeta Formal verification Unified Modeling Language Systems engineering Software engineering

UPDATE